An Efficient Algorithm for Enumerating Closed Patterns in Transaction Databases Takeaki Uno1 , Tatsuya Asai2 3 , Yuzo Uchida2 , and Hiroki Arimura2 National Institute of Informatics, 2-1-2, Hitotsubashi, Chiyoda-ku, Toky

Source URL: research.nii.ac.jp

GENERATING TORIC NONCOMMUTATIVE CREPANT RESOLUTIONS RAF BOCKLANDT A BSTRACT. We present an algorithm that finds all toric noncommutative crepant resolutions of a given toric 3-dimensional Gorenstein singularity. The algo

Source URL: www.mas.ncl.ac.uk

INTERSPEECHICSLP Voice Activity Detector Based on Enhanced Cumulant of LPC Residual and On-line EM Algorithm David Cournapeau 1 , Tatsuya Kawahara1 , Kenji Mase2,3 and Tomoji Toriyama3 1: Graduate School of Info

Source URL: www.ar.media.kyoto-u.ac.jp

Homework 3 Problem 1: Present a polynomial time algorithm for graphs (only one player) with parity objectives, and present the running time of your algorithm in terms of n,m, and d, where n is the number of states, m is

Source URL: pub.ist.ac.at

Seminar on Algorithms and Geometry – Handout 3 Robert Krauthgamer April 2, 2009 Today’s topics • Approximation algorithm for Sparsest-Cut via embedding into `1 (continued from last time).

Source URL: www.wisdom.weizmann.ac.il

COMPUTER SCIENCE TRIPOS Part IB – 2012 – Paper 4 3 Computer Graphics and Image Processing (PR) (a) What are the main criteria to be considered in the design of a line drawing algorithm for a raster graphics display?

Source URL: www.cl.cam.ac.uk

2002 Paper 3 Question 8 Computer Graphics and Image Processing (a) Describe an algorithm which draws a Bezier cubic curve to a specified tolerance using straight lines. [7 marks]

Source URL: www.cl.cam.ac.uk

Artificial Intelligence–145 www.elsevier.com/locate/artint Book review R. Dechter, Constraint Processing, Morgan Kaufmann, 2003.

Source URL: www.ics.uci.edu

• Computing
• Constraint satisfaction
• Local consistency
• Constraint logic programming
• Constraint optimization
• Mathematical optimization
• Search algorithm
• AC-3
• Hybrid algorithm
• Constraint programming
• Software engineering
• Computer programming

cKanren miniKanren with Constraints Claire E. Alvis Jeremiah J. Willcock Kyle M. Carter William E. Byrd

Source URL: repository.readscheme.org

• Computer programming
• Constraint logic programming
• Function
• Constraint satisfaction problem
• FO
• Free variables and bound variables
• Sheaf
• AC-3 algorithm
• Constraint satisfaction
• Constraint programming
• Software engineering
• Mathematics

Super Solutions in Constraint Programming Emmanuel Hebrard, Brahim Hnich, and Toby Walsh? Cork Constraint Computation Centre University College Cork {e.hebrard, brahim, tw}@4c.ucc.ie

Source URL: homepages.laas.fr

• Mathematics
• Constraint satisfaction
• Local consistency
• Constraint optimization
• Mathematical optimization
• Polynomial
• Function
• Boolean satisfiability problem
• AC-3 algorithm
• Constraint programming
• Software engineering
• Theoretical computer science